Guest lecture on Introduction to logic